منابع مشابه
Real Inferno
Inferno is an operating system well suited to applications that need to be portable, graphical, and networked. This paper describes the fundamental oating point facilities of the system, including: tight rules on expression evaluation, binary/decimal conversion, exceptions and rounding, and the elementary function library. Although the focus of Inferno is interactive media, its portability acro...
متن کاملThe Neurologist in Dante's Inferno.
The year 2015 marks the 750th birth anniversary of the Italian poet Dante Alighieri (1265-1321). It is less known that Dante had a sound level of medical knowledge, probably derived by his academic studies. In his works, medieval notions of neuroanatomy and neurophysiology (e.g. the connection between brain and spinal cord, function of optic nerve and peripheral nerves, knowledge of vegetative ...
متن کاملBeyond Degree Choosability
Let G be a connected graph with maximum degree ∆. Brooks’ theorem states that G has a ∆-coloring unless G is a complete graph or an odd cycle. A graph G is degree-choosable if G can be properly colored from its lists whenever each vertex v gets a list of d(v) colors. In the context of list coloring, Brooks’ theorem can be strengthened to the following. Every connected graph G is degree-choosabl...
متن کاملThe design of the Inferno virtual machine
Virtual machines are an important component of modern portable environments such as Inferno and Java because they provide an architecture-independent representation of executable code. Their performance is critical to the success of such environments, but they are difficult to design well because they are subject to conflicting goals. On the one hand, they offer a way to hide the differences be...
متن کاملDegree Theory beyond Continuous Maps
I am very honoured and pleased to participate in the commemoration of the 50 th anniversary of the founding of the CWI of the Dutch Foundation Mathematical Centre. The subject of my talk is concerned not with diierential equations but with something that is used all the time in various nonlinear analytic problems , namely degree theory. It seems particularly appropriate to speak on this subject...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2015
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.aac8698